Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
601	Syllabus for CSCI001 Inference, Models and Simulation for Complex Systems Fall 2011 Lectures: Tuesdays and Thursdays from 11:00am – 12:15pm in ECCR 131 Lecturer: Aaron Clauset Office: Add to Reading List Source URL: tuvalu.santafe.edu Language: English - Date: 2011-08-22 11:54:58 Formal sciences Econometrics Algorithm Mathematical logic Theoretical computer science Statistics Regression analysis
602	Robin Milner and Mathematics Glynn Winskel 1. Background, Robin’s intellectual position(s) 2. Robin’s attitude, contributions and potential contributions to Mathematics 3. Robin’s ideas and concurrent strategies Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:07 Theoretical computer science Logic in computer science Category theory Formal methods Bisimulation Functional programming Coinduction Denotational semantics F-coalgebra Robin Milner Type theory Weak equivalence
603	High-Performance Algorithm Engineering for Computational Phylogenetics Bernard M.E. Moret1 , David A. Bader2 , and Tandy Warnow3 1 2 Add to Reading List Source URL: www.cs.unm.edu Language: English - Date: 2002-10-09 00:06:39 Phylogenetics Computational phylogenetics Analysis of algorithms Theoretical computer science Bioinformatics Genetic algorithm Algorithm engineering Algorithm Empirical algorithmics Cache-oblivious algorithm Phylogenetic tree Travelling salesman problem
604	Towards Automatic Generation of Vulnerability-Based Signatures David Brumley, James Newsome, and Dawn Song Carnegie Mellon University Pittsburgh, PA, USA {dbrumley,jnewsome,dawnsong}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Computability theory Vulnerability Public-key cryptography Theoretical computer science Models of computation Buffer overflow Social vulnerability Zero-day Ring signature Symbolic execution Turing machine Halting problem
605	Final Program NWPT’October 2007, Oslo, Norway Wednesday October 10th Chair: Gerardo Schneider: 13:30 Invited Talk. Gilles Barthe: Add to Reading List Source URL: nwpt07.ifi.uio.no Language: English - Date: 2007-10-05 08:06:40 Theoretical computer science Davide Sangiorgi Modeling language Object-oriented programming Coinduction
606	Very Efficient Conversions Morten Welinder? Carnegie Mellon University School of Computer Science 5000 Forbes Avenue, Pittsburgh, PA–15213, USA Email: Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:53 Logic in computer science Mathematical logic Theoretical computer science Logical consequence Theorem Lambda calculus Rewriting Mathematical proof
607	CALL FOR PAPERS 28th ACM Symposium on PARALLELISM IN ALGORITHMS AND ARCHITECTURES (SPAA) Asilomar State Beach, California, USA July 11–13, 2016 http://spaa.acm.org Add to Reading List Source URL: spaa.acm.org Language: English - Date: 2016-03-20 03:06:54 Theoretical computer science Distributed computing Parallel computing Algorithm Symposium on Parallelism in Algorithms and Architectures
608	INSTRUCTIONS FOR ENMAP CONTEST Dear colleagues, as explained in our conference contribution (Braun et al. 2015), you should proceed as follows with the data downloaded from our website. Add to Reading List Source URL: www.ipf.kit.edu Language: English - Date: 2016-01-20 11:11:05 Machine learning Algorithm Mathematical logic Theoretical computer science Photogrammetry Statistical classification
609	The 2006 Federated Logic Conference The Seattle Sheraton Hotel and Towers Seattle, Washington August, 2006 IJCAR Workshop Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2006-07-11 15:25:07 Functional languages Lisp Automated theorem proving Theoretical computer science Procedural programming languages ACL2 Nqthm J Strother Moore ACL Common Lisp Formal methods Automated reasoning
610	Journal of Statistical Physics, Vol. 104, Nos. 3/4, 2001 Computational Mechanics: Pattern and Prediction, Structure and Simplicity Cosma Rohilla Shalizi 1 , 2 and James P. Crutchfield 1 Received June 20, 2000; revised F Add to Reading List Source URL: bactra.org Language: English - Date: 2003-10-31 16:37:58 Complex systems theory Theoretical computer science Computability theory Statistical randomness Randomness Kolmogorov complexity Complexity Emergence Computational complexity theory Algorithm Reduction Turing machine

UPDATE